Nuprl Definition : p-fun-exp
11,40
postcript
pdf
f
^
n
== primrec(
n
;p-id();
i
,
g
.
f
o
g
)
latex
Definitions
primrec(
n
;
b
;
c
)
,
p-id()
,
x
.
A
(
x
)
,
f
o
g
FDL editor aliases
p-fun-exp
origin
i,g. f o g ) i,g. f o g ) x.A(x)